perm filename AMTT10.360[360,GF] blob sn#784631 filedate 1985-02-03 generic text, type T, neo UTF8
{`d¬ 4~.23~-F(⊂≥l↔_⊂_n&(0]V ⊂_O∩(⊗∞Fx#QEnxπ→n&λ<YMvp:λw⊂0↑&T  Ecα⊂α@5_αT`U_αT`U⊂βT@0λ↓T@0λ↓T@0λ↓T @λα∀ @λα∀ @λα∀ 0_↓T@_α∀@_α∀@_α∀@_α∪`@(α∪`@(α∪`@(α∪`@(α∪aTpπSAtpπS@@8α∪ @Hα∪ @Hα∪ @Hα∩`p8βRA⊂(∧RA⊂(∧R`p8βQ(D⊂¬capCi!λ%∧I1⊂&A↓(&A↓⊂(&A↓  &A↓  &A↓  &A↓⊂(&A↓⊂(&Ap0&D	Px&D	Qλ&A↓0&A↓⊂(&A↓ (&A↓ (&A↓0 &A↓0 &A↓0 &A↓0 &A↓ (&A↓  &A↓⊂(%Di!_%∧I1"Qλ1(GC`@β↓%λ∧@ Dxλ∪B∀hβ↓↓∧hαA`d`αBd`αα@TXαB@TXαβDXαβDPαC $Pα∩@DPα∩@DPα∩@DPα∩@Ph↓∩`@`α∩`@`α∩`PPαS@PαSP@αS P8αS ` β∪Adxε∀!∃⊂βQ(D ¬capCI!%∧)1λ&A`0&A↓(&A↓(&A↓⊂(&A↓  &A↓  &A↓ (&A↓0 &A↓0 &A↓0 &A↓0 &A↓0 &A↓0 &A↓0 &A↓0 &A↓ (&A↓ (&A↓  &A↓⊂(&A↓⊂(&A↓(&A↓(&A`0%D)!λ%∧	0p"QλQ8πC`λ
∩BdP∩bThαα`Dhαα`Dhαα`Dhαα`Dhαβ$hα∪ @0↓∪ @(α∪ @(α∪!ThεS!ThεS @(α∪ @(α∪ @0↓∪ Dhα∪ @h↓∪ @`α∪ @`α∪ @`α∪ @`α∩bdPRBtX
Q(D0
EcapDi!(%¬)1 &A↓  &A↓  &A↓  &A↓  &A↓0⊂&A	P α@IP α↓	P α↓	P`&C	P`&C	P α↓	P α↓	P α@IP &A	P &A	P &A	P %B) X%αi0H"Qλq0πC`@αA%∧@ DxπSB∧hβa∧hα↓`d`αBTXαB TXαα`DXαα`DPαC$Pα∩@DPα∩@DPα∩@DPαα!∧Pαα↓$Pαα↓$PαB↓∧Xαα`DXαα`DXαB@D`αBThααThβ↓tpλ∪auπ∀@`_↓⊃(D@FβapBP@%α@0P%α@0P%BP@&A↓⊂ &A↓⊂ &A↓⊂ &A↓⊂ &A↓⊂ &A↓⊂ &A↓⊂ &A↓⊂ &A↓⊂ &D)Qλ&D)Qλ&A↓⊂ &A↓⊂ &A↓⊂ &A↓⊂ &A↓⊂ &A↓⊂ &A↓⊂ &A↓⊂ &A↓⊂ &A↓⊂ %BP@%α@0P%α@0P%BP@"Q	⊃⊂πC`λλ∩B$P	∩b¬λα∀ Eλα∀ Eλα∀ Eλα∀ Eλα∀ Eλα∀ Eλα∀ Eλα∀ Eλα∀ Eλα∀ Eλα∀ Eλα∩b∧P	∩B$Xλ⊃(DP
¬cap∧BJ `)β
0P+A
p +A
p +A
p +A
p +A
p +A
p +A
p +A
p +A
p +A	0_∧A	 (∧↓	 (∧↓	 0αAI0x&β)PX'AhT %Ec↓p∂ p0βRA⊂ ∧RA⊂ ∧R`p0βS 0@↓S 0@↓S 08↓S 00↓S 0(↓S 0(↓S 0 ↓S 0_↓S 0_↓S 0⊂α∪ 0λβ∪ 0λβ∪ `⊂↓S P_↓S @(↓S @(↓S 08↓S 08↓S 0@↓S 0@↓S 0H↓S 0H↓S 0P↓R`p@β∩A⊂0∧∩A⊂0∧∩`p@β⊃(D`
EcapB) X%αi0H&A	P &A	P &A	P &A	P &A	P &A	P &A	P &A	P &A	P &A↓0⊂&A↓  &A↓  &A↓  &A↓  %E	!(%¬)1_"Q	QHGC`λβα`dPβB`tPβB`tXβα`d`↓@  H↓ 4`↓@  H↓ 4`↓@  H↓ 4`↓@ 0@↓ 4`↓@@ 8↓@ 4`↓@@ 8↓@ 4`↓@@00↓@4`↓@@00↓@4`↓@@0(↓@@4`↓@`0 ↓@@4`↓@`0 ↓@@4`↓@`0 ↓`4`↓@`0 ↓`4`↓A0⊂↓@`4`↓A0⊂↓@`4`↓A0⊂↓↓4`↓A 0λ↓↓4`↓A 0λ↓↓4`↓A ` ↓S0(β↓4`↓A@@(↓S00α↓ 4`↓C`4XαC TPβB`tPβB`tXαC T("∪BQ8∂π@⊂(βAi 8αB) 8αB)08αAiP(β@iP(β@iP_@@`_&@`⊂⊂βiP_@@`_&@` ⊂α@iP_↓@P_&@` ⊂α@iP_↓@@@_&@`0⊂αiP_↓@@@_&@`0_↓@iP_α@0_&@`@⊂↓@iP_α@0_&@`P⊂↓iP_α@@ _&@`P⊂↓iP_β@⊂_&@``⊂@iP_β@⊂_&@`p(&@`p(%A`P(%α P %α P %A`p_"Q	q_πC`(∧S!T`πRb∀XαA`TXαα DPαB TPαα`DPαα`DPαα`DPαα`DPαα`DPαα`DPαα`DPαα`DPαα`DPαα`DPαα`DPαα`DPαα`DPαα`DPαα`DPαα`DPαα`DPαB TXαα DXαA`TXλS↓thεSa∀("∀αa8∂π@⊂x%∧I!_%DiP ∧↓IP ¬↓	P ¬↓)P ¬A	P ¬A	P ¬A	P ¬A	P ¬A	P ¬↓)P ¬↓	P ∧↓IQλ&D	Px&C)P &A	P &A	P &A	P &A	0@%αI P%BλT (Dbb(∂↓!∀hεS↓tXλR`P8αR`@Hα∩@PHαR@@Xα∩@@Xα∩@@Xα∩@@Xα∩@@Xα∩@@Xα∩@@Xα∩@@Xα∩@@Xα∩@@Xα∩@@Xα∩@@Xα∩@@Xα∩@@(↓↓DPα↓@_α∩@@ α`DPα↓P⊂α∩@P α TXα↓↓∀XαA↓∧XλS↓thεSaE8α∃`U@α⊗UHα⊗ EP↓⊃(E⊂ε#apC)!%∧)1λ&A`0&A↓ &A↓(&A↓⊂ &A↓⊂ &A↓⊂ &A↓(&A↓ &A`0&CiPp&C)Ph&AP(&A` &A` &A`(&Ap &Ap &Ap ↓@IP βA  &Ap ↓↓	P βA  %BPP%α@P@%α@`0%B↓ "Q
1(GC`8βA$pλS"$`	R`p(∧∩`@XαR@P`α∩@@hα∩@@hα∩@@hα∩@Ph↓∩`T`βS!$pε∪aE⊂¬∃@uHαR` hαR@@hα∩@@hα∩@@hα∩@@hα∩@@`αR@`HαRA(βRB4P	∩@@λ¬R`  βQ(E εβapE	!0%¬I!0%↓P αA	  αAP %↓P αA	  αAP %@@` βJ0 )A
0 )A
0 )A
0 )A
0 )A
0 )A
0 )A
0 )A
0 )A
P'C	p`(αHT *F#⊃p∂!8∧∩A (¬∩A (¬∩a8∧∪ @Xα∪ @Xα∪ @Xα∪ @Xα∪ @Xα∪ @Xα∪ @Xα∪ @Xα∪ @Xα∪ @Xα∪ @Xα∪ @Xα∪ @Xα∪ @Xα∪ @Xα∪ @Xα∪ @Xα∪ @Xα∪ @Xα∪ PHαS@@Hα∪@P8αS`P(αT↓Uλ¬TA∃_βQ(E0FβapA`p8%α PH%α PH%A`p8&A↓⊂ &A↓⊂ &A↓⊂ '↓p '↓p '↓p '↓p 'A`_'AP 'AP 'AP 'A @ (↓@_(↓@_(↓@_(↓   (A _(A _(A _(A _)↓⊂⊂)↓⊂⊂)↓j 8)A*0()A(T +Fβ↓p∂ ``α∩APβ∩APβ∩```α∪ 0(α↓4h↓A @ ↓S 0(α↓4h↓A @ ↓S 0(α↓4h↓AP ↓S 0 β`4h↓A λ↓@`4p↓@` ⊂↓@4p↓@` ⊂↓@4p↓@` ⊂↓@4p↓@@0⊂↓@4p↓@@0⊂↓@4p↓@@0⊂↓@4p↓@@0⊂↓@4x↓@0⊂↓@$x↓@0⊂↓@$x↓@ _↓@$x↓@ _↓@$x↓@ _↓@$x↓@ _↓@$x↓@  _β∪`` αT@(α∀@(α∀@(α∀@(α⊃(E@Fβap↓↓`P8%B 0H%B 0H&↓`P8'AP 'AP (↓0 (↓0 (A⊂ (A⊂ )`⊂_)↓j0()A*0()A*0()↓j 8(A⊂ (A⊂ (↓0 (↓0 'AP 'AP '↓p '↓p %A`p8%α PH%α PH%A`p8"Q⊃8πC`λβA`tP∧A!∀P∧A!∀XβA`tpα↓`Dpα↓`DpαA Txα↓ Dxα↓ Eα`Eα`Eλ↓@`5λα Eλα E⊂↓@ 5⊂βT`U_αT`U α∃E α∃E α∃E α∃E⊂βT!∃λ∧T@t("⊗BQ8∂π@!⊂%E	1 %Di0 ¬↓)0 ∧A)0 ∧A	0 ∧↓)@⊂∧A
`(*A*P *↓*0()A
 ()↓
⊂((↓* 'A)`(∧@I` ∧A	P(∧A	P ¬↓	@(¬↓	0(¬A	1 %¬)!(%DhT 0EC↓(
A↓∀`ε∩adXπR`P0αS0@αVE_∧SaThπSα∧X∧ADXαBDPαB DPαα@DPαα@DPαB DXαA tX
∪αDh	S`p(α⊃(F⊂εβapAI @%α	08'↓	` '↓	` '↓	` ↓↓i` BIa'∧)`8αAI`0∧↓)`(¬↓	` ¬A)` ε↓	` ε↓	` ε↓	` ε↓	` ε↓	`(¬↓)`(¬↓	`(¬↓	`0∧↓)`8αAIaλ'∧	` BIp⊂↓AhT 1DbQ(
Bu¬SAdhπSp αSP8↓R`TXα∩@TPα∩@DPα∩@DPαR`DXαB@$`αBD`βA ThπSAU¬∀@t("→β↓H∂πA@8*B*PH+α  -↓  -↓  (A`  'Cia&D)@0αAi0(∧A)0 ¬↓)0 ¬A	 (¬A	  ε↓	  ε↓	  ε↓	  ε↓	  ¬A) (¬↓)0 ∧AI0(∧↓I@0αα	Q '¬	pPB
⊂0α↓HT 2Eαa(
A`tx¬∪AThπS`(αR`P@αR`@Pα∩@PPαR@@`α∩BDP
∩BDP	R@DPαR`@`↓∩`PPα∪`0β∪"∧pπ∪aEλ∧⊃(F0
¬#ap¬AJ@H)Bj `(A 0((AP_(A
⊂ (A	1λ%∧i!_%D*⊂ (A
⊂ (A
⊂ (A
⊂ (A
⊂ (A
⊂ (A
⊂ (A	@p%D	1&βHT 3Ecα
A``_αTα∧x	∪B4hαAPλαSP0α@ 4`ααD`ααD`ααD`ααD`αA@ThαAThεS!D`ε∪@λβ∪D`α∪↓thλ∪α4X
R`PPβ∩@PhαR@@xα∩@@xα∩@@xα∩@PhαR`p8βSα4hλSAuλ∧Q(F@F#apAI @%α	08'↓	` '↓	` '↓	` ↓AI` B)`x'∧	`@α↓)`0β↓)`(∧↓	` ∧A	` ∧A	` ∧A	` ∧A	` ∧A	` ∧A	` ∧A	` ∧A	` ∧A	` ∧A	` ∧A	0HαB) X↓Bi X↓Bi0HαB(T 4Dbap∂↓`Eβ∀eβ∀eλα⊃`$`∧Ra4X¬S↓%⊂α∀@E⊂α∀@E⊂α∀@E⊂α∀@E⊂α∀@E⊂α∀@E⊂α∀@DXλRB4P	Rb∀("~AQλ∀GA (AJ⊂0(AJ⊂0)↓λp⊂'α	PP&BI`H)A
0 )A
0 )A
0 )A
0 )A
0 )A
0 )A
0 )A
0 )A
0 )A
0 )A
0 )A	0_α↓) (↓A	 `%αi0H&AHT 5Fβ⊃p∂tP∧∩A∧PβS@4p↓S@4p↓S@4p↓AA∀p↓A!4p↓A!4p↓AA∀p↓A`4p↓A@4p↓A 4p↓A4p↓@`4p↓@@Dp↓@ dpβ@4pαA4pα↓ 4p↓A`4p↓B4p↓B 4p↓B@4X∧A@tP¬A↓∀P¬A↓∀X∧A@t("≠αA8∂π@⊂P%β	 `%Bj  )↓
  )↓
  )↓
  )↓
  )↓
  )↓
  )↓
  )↓
  )↓
  )↓
  )↓
  %DI! %¬	1⊂"Q
QHE"Pβ P_αRAPλβRBdP∪ Pλβ@ Thα`P_α∪ @ α↓4h↓A 0(↓S 0(↓A 4h↓A 0(↓S 0(↓A 4h↓A 0(↓S 0(↓A 4h↓A 0(↓S 0(↓A 4h↓A 0(↓S 0(↓A 4h↓A 0(↓RAλβ@!∧P∧ pλ∧∩Aλβ@!∧P∧ pλ∧⊃(FpF"Q(A@@0%α⊂H%∧i1_'α@('↓@`('↓! '↓↓⊂ '↓↓⊂ '↓↓⊂ '↓↓⊂ '↓↓⊂ '↓↓⊂ '↓↓⊂ '↓↓⊂ '↓↓⊂ '↓↓⊂ '↓↓⊂ %B PH%α`0X%α`0X%B PH"Q
q(E"P8βSa4pεS!t`β↓ dXαB TXαα`DPαB`TPαβ DPαβ DPαβ DPαβ DPαβ DPαβ DPαB`TXαα`DXαB T`β↓ dhπSATx¬T t("≤β↓@⊂¬ ⊂0↓Ai @BI! %E	`8αAI`0∧↓)`(¬↓	` ¬A)` ε↓	` ε↓	` ε↓	` ε↓	` ε↓	`(¬↓)`(¬↓	`(¬↓	`0∧↓)`8αAIaλ'∧	` BI` ↓↓i` '↓	` '↓	` '↓	` %BI `%β	0P"Q∞⊃@HαP@β`%π∪B∧hλSp βSP8β∩`PHαR`@PαR@PXα∩@@`α∩@@`α∩@@`α∩@@XαR@@XαR@PPαR`@Hβ∩`P@β∪` ∧∪"∀pλ∪a λα∀ p⊂α⊗@EPα⊗@EPα⊗@EPα⊗@E8¬∃AE0ε∃a$("≤Ba@
E ⊂8αAi H↓αI HC	1('B 0('A``_'AIp('A)p 'A	p 'A	p 'A	p 'A	p %CI!%∧	0p"Q∞1_¬"P0β@ $hπ∪↓tXλ∩@p(αR@@Hα∩@@Hα∩@P@α∩``8↓∩aD`εSAUε∩` HβR@@PαR@@Xα∩@@Xα∩@`0βRB$PλRB∧X↓A∧("≥αQ0∞πp⊂(↓
 (↓
 (↓
 %DI! %¬	1⊂(↓
 (↓
 (↓
 (↓
 ∧J βA
 βA
 βA
 βA
 βA
(αA*⊂h(C* X*↓hT :F#⊃(
@ `8β∩A(∧∩A(∧∩`p0βS@@Hα∪@@Hα∪@@Hα∪@@Hα∪@@Hα∪@@Hα∪@@Hα∪@@Hα∪@@Hα∪@@Hα∪@@Hα∪@@Hα∪@@@αS@P(βSb4x
∀α5⊂β@`d("≥Bq@
E ⊂@αB	 P↓BI P↓BI0@αB	`_∧@ip_β@ip_β@ip_β@ip βj_α@j_α@j αj⊂_αJ⊂ ↓j⊂ ↓j _↓J  @J  @J0()A*0()A(T ;Ec↓(
@ P`α∩@pPβ∩@p ↓@`dXαA@ α∪0(α↓4`↓A @ ↓S0 β`4`↓A`_↓S 0_↓ 0⊂↓S 0_↓@ ⊂↓S 0⊂↓@@ ⊂↓S 0⊂↓@@ ⊂↓S 0⊂↓@@ ⊂↓S 0⊂↓@@ ⊂↓S@ ⊂↓@@ ⊂↓∪@ ⊂↓` ⊂↓∪@ ⊂↓` ⊂↓∪@`_β∪@`_β∪`@(α∪`@(α∪`@(α⊃(G@F"Q(Bp@%α@PP%α@PP%Bp@(`p_(@`P_)@P⊂)`0_)@`⊂_*↓*P_*@j@()@`⊂_)`0_)@P⊂(@`P_(`p_%Bp@%α@PP%α@PP%Bp@"Q∂⊃8λαPλ∧↓!∧P¬a$P¬a$X∧↓!∧pαα4x↓A`4x↓A`4xα↓@5↓A@5↓A 5λ↓A5λ↓A5λ↓A%⊂↓@@5⊂↓@@5⊂↓@@%_↓@ %_↓@ %_αUE α∃E ↓U5_↓T`4`↓A4Xα@@4Xα@ DX∧Ra∧XβST("≡BQ0
E 1λ&∧iA_&∧I@ ∧↓)@ βA)P⊂βA*P(*↓*0()↓*  (A*('A!⊂'↓! &A!⊂ &↓!  %E	!(%¬)1_"Q↓(GC`λ	RBTP
RbDhαα@Dhαα@Dhαα@Dhαα@Dhαα`$hα∪ Dhα∪ Dhα∪ Dhα∪ Dhα∪ Dhα∪ Dhα∪ Dhα∪ Dhα∪ DX∧RA4P¬Ra∀(""Q8∂πA⊂_)↓* ((Aj⊂8(Aj⊂8(α* A
 A	p(A)p ↓A	p ↓A	`(↓A)` αA	` αA	` αA	P(αA)P βA	P βA	@(βA)@ ∧A	@ ∧A	0(∧A)0 ¬A	0 ¬A	0 ¬A	!(%¬)!(%DhT ↓∧bap∂↓!∀hεS↓tXλR`P8αR`@Hα∩@PHαR@@Xα∩@@Xα∩@@Xα∩@@_↓  _α∩@@⊂β@@DPα@p⊂α∩@@⊂β@@DPα@p⊂α∩@@⊂β@@DPα@p⊂α∩@@⊂β@@DPα@p⊂α∩@@⊂β@@DPα` λ↓`DPαα`DPαα`DPαα`DPαB TXαα DXαA`TXλS↓thεSa∀("c⊃H⊂λ↓0_*↓*@(*↓*@()Aj0_@j0_@j0_@j  A
  A
  A
 _↓@j⊂ ↓A
⊂ ↓A
⊂ ↓A
⊂ ↓A
 αA
 αA
 αA
 αA
 αA	p βA	p βA	p βA	p βA	` ∧A	` ∧A	` ∧A	0@βB	 PαBI PαBI0@βBλT α¬"qp∂"4P
RBTP
R@@hα∩@@hα∩` x↓⊃`$h↓α`$`αα D`αα D`λSα∀`λSα∀`αα D`αα Dh↓α`$8↓R` x↓∩@@hα∩@@hα∩BTP
RBTX	Q(@(FβapE)!8%¬i1(&A↓⊂ &A↓⊂ &A↓⊂ &A↓⊂ &A↓⊂ &A↓⊂ &A↓⊂ &A↓⊂ &A↓⊂ &A↓⊂ &A↓⊂ &A↓⊂ &A↓⊂ &A↓⊂ &A↓⊂ &A↓⊂ &A↓⊂ &A↓⊂ &A↓⊂ &A↓⊂ &A↓⊂ &A↓⊂ &A↓⊂ %A`p8%α PH%α PH%A`p8"Qa(GC`λ	RBTP
RbDXαB`D`αα`D`αB@Dhαα@DhαB@$pα∪@Txα∪`Uα∀Uλα∀Uα∪`Txα∪@Tpα∪ PP↓∪ @Pα∪PPα∪@Xα∩`PXα∩bDP
RBTX	Q(@8
¬cqxαA⊂&↓ `(%A`@8%A`@8%α  H%α  H%↓ @↓↓	  ↓A@0 %↓00↓A
⊂0(AJ  )↓
  )↓
  )↓
  )↓
  )↓
  )↓
  )↓
  )↓
  (α	pP'BJ@"Q↓↓0πC`0¬∪aDxε∀↓%⊂β∀↓$pπ∪"∧`	∪P⊂α@TXα@`@_αR`@ α↓DPαA@ αR@@(α↓ DPα↓ @(α∩@@(α↓ DPα↓ @(α∩@P α↓TXα↓@ α∩`P_α`T`α@@@⊂αSα$hλ∪Ae¬∀@e_α∀↓$xε∪aE¬⊃(@HεβapβB
P(αJ⊂@)A	0_αAP_%↓ @ α↓) (α↓@(%A 0 ↓A)@ ↓A0 &↓0 ↓A	@ ↓A0 &↓0 ↓A	@ ↓A0 &↓0 ↓A	@ ↓A0 &↓   ↓↓)P ↓↓  &A  ↓↓	P(A⊂('↓⊂ A	`p'C
P(B
 0)A
⊂@(αJP(BλT ¬¬"qp∂↓`tx¬SAThπS`(β∩`PHαR@PXαR@@hα∩@@hα∩@@hα∩@@hα∩@@hα∩@@hα∩@PXαR`@Xα∩`@Xα∩`@Xα∩`@Xα∩`PHαS@Hα∪@Hα∪P8αS @8α∪ @8α∪ P(αR` λα↓ @λ↓∩A(∧∩A⊂_∧RA⊂_∧RA⊂_∧R`p(βQ(CFβap∧↓j⊂H(αiph'↓ P(&A p(&↓!⊂(&↓↓0 %A!0(%A↓P %A↓P %↓!P(%↓↓p %↓↓p %↓↓p %↓↓p %↓↓p %↓↓p %↓↓p %↓!P(%A↓P %A↓P %A!0(&↓↓0 &↓!⊂(&A p('↓ P('C*X(B* 8"Qε⊃
GC`8↓∀Eα∪`Tpβ∪ tX∧RA$P¬∩`0⊂α∀Eα∀Eα∀Eα∀Eα∀Eα∀Eα∀Eα∀Eα∀DXπ∩B∧Pλ∩ad("BQ8∂π@`@'β	Px&∧)00β↓i0 ¬↓) (¬A) (ε↓	 (ε↓	 (ε↓	0_εA (-↓  ,A+(+A*p +↓*@0)AJ 0(A@P⊂(↓ ` '↓@p &AA &↓A⊂ %E	!(%¬)1_"Qε1(GC`0∧∪ADhπ∪α∧Xβ↓@dXαB TXαB@DXαB@D`↓B`EHαVU(∧∀↓E¬T↓5ε∃@u@β⊗@UPαV`DX↓C DPαCDPαB`TPαB`DPαB@TXβ↓@d`λ∪!dpε∀↓∧("
αa8∂πAP +↓*`(*@@⊂_*`⊂_*@ _)@` _)`0_)`0_(@`@_(@@P_(`P_'@``_'@@p_'`p_&@a_&@a_&a⊂_%@a _%@a _%¬)!0%¬I!(,k_,j@X)C*0h*αhT ~E"qp∂B∧`λSα∀`λ∪D`α∪D`α∪D`α∪D`α@t`π∪↓t`λ∪p(αSP@αS@Pα∪0XαV`EXα∩`0hα∩@P`α∩@PXαR@PXα∩@PPαR``0β∪α∧hπ∪AE∧⊃(C0Fβap¬↓j P(β)px'↓`P(&A@p(&A↓⊂(&↓! _%A)0 %A0@%↓ ⊂`%↓⊂p%¬	 Hβ↓I 8¬↓) 0ε↓	 0ε↓) (π↓	 (π↓	 (π↓	0 π↓	0 π↓	0(ε↓)@ ε↓	@(¬↓)P0β↓Ia'CJ`)αλT ≠E"qx∂@ $P
∩BTP
RBDPαα@TPαα@DPαα TPαα DX↓α U(αU E αUE α∀`U_α∀@U⊂α∀@EλαT Eλα∀ EαTEα∀Eα∀Eα∀ $("∞αQ8∂π@p8'Bi`h&Ci@0αAI0(∧A)0 ¬A	0 ¬A	0 ¬A	0(∧A)00βAI@8↓AiPx'β)`h&Ci@8↓Ai00βAI 0∧AI (¬A)  εA	  εA	  εA	  εA	 (¬A)0(∧A)@0αAIPx'β)pX(AhT ≤Ec↓p∂αe¬∪Adhλ∪p βSP@β∩`PPαR`@`αR@Phα∩@@pα∩@@pαR@@xα∩@@xα∩@PhαR`@hαR`PXβ∪PHβSp(∧S"Dp	T↓0λα∀@p_α⊗`UXα∪ 0PαSP@αSP0β∪α∧hπ∪AE∧⊃(B 	EDb⊂∧@J  )↓
  (↓i`X&C)@x%A@⊂P%A0 ↓↓	 (↓A (%↓@ ↓↓)  α↓ (%↓@ ↓↓) (↓A0_%A   &αIPP'αipX)α* P)↓  %@`@ ↓↓) (↓A0 %↓ 0 ↓A	 (↓A0 %↓@ ↓A	 (↓A (%A   ↓↓	1λ&βiPh'BJ⊂0)↓
  )↓
0⊂"Q∧a@GC`8α∀eβ∪a∧x∧∪`0⊂↓S`0⊂↓S`0⊂↓S`0⊂↓S`0λαA∀x∧A∀xβ@a∀xβ@a∀xβ↓@4pβ↓@DhβA@D`∧↓ DX¬↓DXα@ @_αR@P_↓@`DPα@`@λαR@@ α DPα↓!∧Pα↓ p_↓R@P(αA4PαA` ↓R@`λ¬ DX
Ra0λ∧S↓⊂_βS@P0αQ(@x	ECa_∧↓
⊂0(AJ⊂0(AJ  #@j0_)↓* ()↓* ()↓*⊂((↓Ip0'↓I@8%Ai00∧i (∧A)  ¬↓)  ¬↓) 0βAI1λ&βiPh'B(T ∨Dbap∂↓!∀hεS↓tXλR@`8β∩@PPα∩@PPα∩@PHαR`0HαU u βT`e_αT@Uλβ∀ UλαT UλαT U⊂↓Q`5λα∀eβ∀eβ∀ D("∧α10
E  H%Bi0X&αJ  )↓
  )↓
  )↓
  )↓
  )↓
  )↓
  )↓	1λ%∧i!_%D(T λC"∩
A↓∧h¬∪!$p∧T`E_α∀`E_α∀`E_α∀`E_α∀`E_α∀`E_α∀`E_α∀`E_α∀`E_α∀`E_α∀`E_α∀`DX↓ATPα@`DPε∩A4X∧S d("ε"q@∂πA⊂8(Bjh'Ci`0αAI` ∧A	` ∧A	` ∧↓)` β↓I08↓B	 @↓α	 @↓α	08↓B	` β↓I` ∧↓)` ∧A)` ¬↓	` ¬↓	` ¬↓)` ¬A	` ¬A	` ¬A	` ¬A	` ¬A	` ¬↓)` ∧A)` βAI08↓αI @BI @B)00↓AHT 
¬c↓(
@``(α∪↓_βRa λ∧RbTXα@@p⊂αS0 αAE_αAU_αA E_α↓@EλS"D`
RbTPβ@@DPα↓ TPα↓ P0↓∩@@(αA DPα@`p_αRbT`∧@!∀hβ@`tpαA T("εbq@
E P β↓	`0α↓IP@↓α	A %A  @↓↓	0 α↓@0 %A@0↓A) (α↓ P %↓` αA	  ββ)  ββ)  ββ)  ββ	  β↓	 (α↓I0 α↓@P⊂%A@0α↓	0(↓α (&¬	P@↓α)`0α↓ip β↓λT ∞¬Cα_∞∧`%`α⊗`UPαV@EHαV Eλε∪aThπSα∀`β↓tXαA!∀Xα↓@@λα∩@@0α@@DPα↓@@_α∩@00αA4P↓A@@(↓R@0(αA 4P↓AP0↓R@@_α↓@DPα@P0α∩`@λα↓@DX∧A T`βAd`λS!thεS↓D`α∩`TXα∩@TPα∩@DX↓⊃(Bλβ∧βapA	 0%↓I 0%↓I 0%↓I 0%↓I 0%↓I 0%A)0(%A)0(%A)0(%A)0(&hp_%A	 0%↓I 0%↓I0 "Q∧1(GC`8↓↓@%α↓Eα↓Eα↓Eα`Uα`Eα`Dxα@`DX	RBTP
Rb4xα↓Dxα↓Dxα`Txα`Dpα@`Dpα↓DX	RBTP
Rb4pα↓Dpα`Tpα`Dpα`Dhα@`Dhα↓Dhα↓Dhα↓Dp↓↓@$("	"Q8∪λ@ (∧I08β↓	08β↓	 Hα↓)  A@ %↓⊂ α↓	 _↓@`0(%`0_↓A	 _↓@`0 %↓⊂ ↓↓)  A  %α   %A`0 %A` (&↓ 0 *↓
0()A
0 )↓*  )↓
⊂((A
⊂ (↓ 0((↓08(↓08(↓ H'A   A	p ↓A⊂ 'A0_↓@i`(↓@`0_'↓@ A	` α↓⊂ &A @H&A`8&A`8'A("Q∧p8λC#`λα∩@dPβ∩@tPβR`dhα∪ D`αSDXαR@TPα∩`$("
↓Q(∪λA ⊂)↓*⊂0(↓Ip0'A	`(&A)P &↓)@ %A)0 %A	 (%↓	  %↓	  %↓	  %↓	  %↓	 (%A	0 %A)@ &↓)P &A)`('A	p0(↓J⊂0)↓*@⊂"Q¬⊂hλID λ↓∩@TPβ∩`d`β∪@DpαS`Uα∀Uλα∀ U⊂α∀@E⊂αT`E_α∀`E_α∀`E_α∀`E_α∀`E⊂αT@E⊂α∀ Uλα∀Uα∪`TpαS@D`β∩`dPβ∩@TX↓⊃(BPλE"APβ@j⊂_(@j⊂_(@i _α`@_%`Pλα@i (↓@ 0(&↓ λ↓↓	`_@ ⊂_(↓*('`⊂λ@i@ ↓   %↓ 0λ↓A) _α@ P_%`@_αj⊂_(@j⊂_(@hT ∃Dba⊂α %⊂α∀@E⊂α∀@E⊂α∀@DXλRB4P	Rb∃⊂α∀@E⊂α∀@E⊂α∀@E⊂α∀`$("qλ¬↓ ⊂ %↓I 8%↓i 8%AI@(%A) 0%↓)0⊂"Q¬`0λ↓ Pλα∩@dPβ∩@dPβ∩`D("b10∪λB⊂,A⊂ ,↓+ +A*p +↓*` +↓
P(*A
@(*↓
0()A
0 )↓*  (A*⊂ (↓* (↓	p('A	`('↓	P(&A	P &↓)@ %A)0 %↓)  %↓	0⊂"Qπ 0λ¬"Pλα∩@dPβ∩@dPβ∩`D8∧R`DPβ∩@dPβ∩@dXα⊃(CXβ∧β!(A	 0%↓I 0%↓I0 #B)0 %↓I 0%↓I 0%A)@ %A) (%↓	0⊂"Q↓`0λπB0λα∩@dPβ∩@dPβ∩`D8↓S4XαR`TXαR`TXαR`TXαR`TPβ∩@dPβ∩@dPβ∩@dPβ∩@dPβ∩@dPβ∩`D("∂"Q8¬E ⊃_%¬)!(%Dhp_%Di!(%¬)1_"Qλ↓(GC`HβT!$xεSAth∧`dhα@a∀`α@a4Xα@aDXαaTXα`P⊂β∩@@ α↓TPα`@0α∩@@_α↓@DP↓A0@↓R@0 ↓B4P↓A0@↓R@0 ↓B4P↓A0@↓R@@_α↓@DPα`@0α∩@@ α↓DXα`P⊂αR`@_ε∩`P_¬∪P_∧∪ P_β 4h∧↓dpλSb¬λεTa∧("⊗aA0∪λ@⊂P%β	 `%αi  %↓	  %↓	  %↓	  %↓	  %↓	  %↓	  %↓	  %↓	  %↓	  %↓	  %↓	  %↓	  %↓	  %↓	  %↓	  %αi `%β	0P"QP`πID λ¬∩ADPε∩a5⊂α∀@E⊂α∀@E⊂α∀@E⊂α∀@E⊂α∀@E⊂α∀@E⊂α∀@E⊂α∀@E⊂α∀@E⊂α∀@E⊂α∀@E⊂α∀@E⊂α∀@E⊂α∀@E⊂α∀@E⊂α∩a4Pε∩ADX¬⊃(FβD↓RλαIP &↓)0(%A	 (%↓	  %↓I 8%↓i00%AI@ "Qα Xλ↓c`λ↓∩@TPβR`t`∧∪@uαT 4("∧a1 βGA⊂(↓)`8&Ai0@%↓i (%@hT 
∧"P0∞  X↓∩@P8αR@p_βRat`εSA∃αQ(A(λE qp@A0⊂%↓↓⊂ %↓↓⊂ %↓@P0%Ci@h&Bip8"Qαa_c@λλRB4P	Rb∀("¬`qβG@ _%A) _@i ⊂↓@I ⊂↓@I _@i0(&hT α" h↓@`$`α∪D`α∪T`β∪ dxα∪`DpαRa∧P∧∩@tXα⊃(EpλE qpβ@ip8'α)@h%A`⊂8%↓@P0%↓ p(%@A0⊂"Q∂aλ
A#` α↓@$`∧@TXλ∩B∧Pα@A∧X↓↓@D("∨aq αG@⊂ αA	 0↓AI 0↓AI 0↓AI 0↓AI0 αAλT ∞F#⊃p∂↓b¬	∀α%λλT@p(α∀!(α∀!(α∀!(α∀!0↓∀!¬α @λ↓∀@λ∧∀@λ∧∀@λ∧∪`@⊂∧∪`@⊂∧∪`@⊂∧∪`@⊂∧∪`@⊂∧∪A0λ↓∪A4p¬SA08↓∪@@_α↓@Dhα↓@0α∪ @ α↓@Dhα↓@0α∩``_πRAλλ∩Aλλ∩``_π⊃(Apε#apαD)Q &¬)10%A P α↓	0 β↓@ %↓ ` α↓	  βA@ %↓p α@I  βA	  βA⊂⊂%↓p@%↓p@%↓p@%↓p@%↓p@%↓p@%↓p@%↓p@%↓p @I  βA	  βA	  βA`⊂%↓p αA	 (β↓P %A` αA	0(αAP %EiA0&E)q⊂"Qβq_	D h↓∃@E0α∃ Tx¬∪!T`πRb∀XαA↓∧Xα↓!∧PαA!∀Pα↓ Pλα∩@@(α@DPα↓ @⊂α∩@@(α@DPα↓P⊂α∩@@ α`DPα↓@_α∩@@ α`DPα`P_α∩@@_α↓DPα`@ α∩@@_α↓DPα@P α∩@@⊂α↓ DPα@@(α∩@@⊂α↓ DPα P(α∩A⊂(αRa(α∩a αRb∀`πS!Tp¬∪ Thα∪ Dp↓⊃(BhλE 1λCi!λ%∧)0x"Q↓A GC`H↓∀@E⊂α∀@E⊂α∀@E⊂α∀@E⊂α∀@E⊂α∀@E⊂α∀@E⊂α∀@E⊂α∀@E⊂α∀@DX↓A@ ↓R@`⊂α@dPβ@ @λβRb$hπ∪a%∧∀ e⊂α∀@E_↓⊃(@X
¬cap∧@J  )↓
⊂0(α	pP&CI1⊂%↓`⊂ Ai 0↓↓ 0%@`@ αj  )↓
  )↓
  )↓
  )↓
  )↓
  )↓
  )↓
  )↓
  )↓
  )@HT ≡∧ba8
D%@αU`e(βUu⊂βT txβS@t`βR`tPβ∩@dXβStpβS`uλβT@u βU u8β⊗UP↓⊃(Cp	EBqX@I (%↓I08&↓i`8'Aj⊂8)↓j@8*Ajp0+AJP8*↓j 8(Aip8'↓i@8%Ai 0%↓)0⊂"QA_	D λ↓∩@DPα∩@TXα∩`T`α∪Thα∪ DhαS@DpαS`DxαTEα∀Uλα∀ U⊂α∀@U_α∀`E_αUE αU E(αU@E0α∃@U8α∃`U@α⊗UHα⊗ EP↓⊃(GX
¬dR⊂πA
`@*B*@H)Aj ()↓
  )↓
  )↓
  )↓
  )↓
⊂('↓i0H%α) H%B)`8(A*  )↓
  )↓
  )↓
  )↓
  )↓*08*α*PH+α⊂ "Q∂Q I$ λα∩A∧P∧Ra∀pβT U⊂α∀@E⊂α∀@E⊂α∀@E⊂α∀@E⊂α∀@U_βU↓∃(∧U!∃ ∧T`u⊂αT@E⊂α∀@E⊂α∀@E⊂α∀@E⊂α∀@EλαS@tX∧RA∀P∧∩`D("∨@x∪λ@⊂⊂%↓	  %↓	  %↓	  %↓	  %↓	  %↓	  %↓	  %↓	  %↓	  %↓	  %↓	  %↓	  %↓	  %↓	  %↓	  %↓	  %↓	  %↓	  %↓	0⊂"P`↔␈␈x␈␈`@¬␈␈x␈}␈␈x␈␈@⊃_%¬)!(%DhT ⊃βbA∂ @(α∩@`_β∩@`_β∩@`_β∩@`_β∩@`_β∩@`_β∩@`_β∩@`_β∩`@(α∩`@(α∩`@(α∩`@(α∩`@(α∩`@(α∩`@(α∪ 8↓⊃(@hβ∧α↓pA	 0%↓I 0%↓I 0%↓I 0%↓I0 %A	0 %A	0 %A	0 &HT ⊂¬c↓⊂ε1λ↓R@1λ↓R@1λ↓R@1λ↓R@1λ↓R@1λ↓R@1λ↓R@1λ↓R@1λ↓R@1λ↓R@1λ↓R@1λ↓R@1λ↓R@1λ↓R@1λ↓R@1λ↓RBtPRBt(|α`x∀?|(≤OX≤OX≤␈␈␈xz@⊃=H⊃Pαf0α_{⊂C ∧→L`∃/0!F@@3→@E>d 
↓ε03λ?=HQPαf0∨λ{⊃C ∧→L`Jo0#F@@3→@↓,>d@
↓ε03_∂=I⊃Pαf09H{∩C ∧→L`{o0%F@@3→@α
}d`
↓ε03 W=IQPαf0Oh{∪C ∧→L`↓:∂0'F@@3→@β≡>e
↓ε030v=J⊃Pαf0t8{∀C ∧→L`↓z/0)F@@3→@∧∪>e 
↓ε03@[=JQPαf0↓⊂x{∃C ∧→L`α1/0+F@@3→@¬}e@
↓ε03Pg=K⊃Pαf0↓4λ{⊗C ∧→L`αtO00F@@3→@¬␈}f⊂
↓ε03`#=L1Pαf0↓Jx{→β ∧→L`β≥O02F@@3→@εT}f0
↓ε03hK=LqPαf0↓]x{~β ∧→L`βIo04F@@3→@π.}fP
↓ε03p}=M1Pαf0↓u8{≠β ∧→L`βy∂06F@@3→@λβ>fp
↓ε03↓G=MqPαf0α∞H{≤β ∧→L`∧'∂08F@@3→@λi>g⊂
↓ε03↓⊂λ=N1Pαf0α$h{≥β ∧→L`∧S∂0:F@@3→@	9}g0
↓ε03↓_ =NqPαf0α98{≡β ∧→L`¬∧o0<F@@3→@
∨>gP
↓ε03↓ x=@↓Pαf0αSλ{# ∧→L`¬0∂0↓ε@@3→@
z}`_
↓ε03↓0<=@APαf0αo8{↓# ∧→L`¬i/0βε@@3→@q>`8
↓ε03↓@∂=A↓Pαf0βπh{α# ∧→L`ε≡/0¬ε@@3→@]}c
↓ε03↓H{=F⊃Pαf0β&H{C ∧→L`εV∂0→F@@3→@
C>c 
↓ε03↓X4=FQPαf0β<x{
C ∧→L`π¬/0≠F@@3→@∞%}c@
↓ε03↓`t=G⊃Pαf0βU_{	β ∧→L`π7o0∪ε@@3→@∂∪>`x
↓ε03↓pk=GqPαf0βqx{∧β ∧→L`πm∂0λF@@3→@∂f}aH
↓ε03↓xt=C!Pαf0∧ε_{εc ∧→L`λ_∂0∞ε@@3→@⊂J}bλ
↓ε03αλU=D1Pαf0∧≡H{	# ∧→L`λKO0∪F@@3→@⊃A>b@
↓ε03α_∀=E⊃Pαf0∧7h{
C ∧→L`λz/0∃F@@3→@∩
}b`
↓ε03α ,=EaPαf0∧G({c ∧→L`	⊃∂0≥ε@@3→@∩7>cX
↓ε03α ␈=AaPαf0∧RH{∂# ∧→L`	-∂0 ε@@3→@∩`>eX
↓ε03α0λ=KQPαf0∧f({_β ∧→L`	W/0	ε@@3→@∪7>a_
↓ε03α0z=BAPαf0∧pX{¬# ∧→L`	do0ε@@3→@∪Q>a8
↓ε03α8*=C↓Pαf0∧w_{↔C ∧→L`	ro0?ε@@3→@∪m>gx
↓ε03α8h=CQPαf0∧}x{πC ∧→L`

o0∂F@@3→@∀>>bh
↓ε03αHO=AAPαf0¬~h{αc ∧→L`
?o0≡ε@@3→@∃∪}cp
↓ε03αPC=KAPαf0¬+h{≡c ∧→L`
b/0>F@@3→@∃Y>g`
↓ε03αX\=KqPαf0¬@h{λC ∧→L`¬␈0εF@@3→@⊗≡↑b
↓ε03α`Q} ⊗<⊂=xow{⎇x